
/*
 * Auto generated Run-Time-Environment Configuration File
 *      *** Do not modify ! ***
 */

#ifndef RTE_COMPONENTS_H
#define RTE_COMPONENTS_H

#ifdef __cplusplus
extern "C"
{
#endif

/*
 * Define the Device Header File:
 */
#define CMSIS_device_header "at32f423.h"
	extern unsigned int SystemCoreClock;

#ifdef __cplusplus
}
#endif

#endif /* RTE_COMPONENTS_H */
